﻿using SystemWnioskujacy;

namespace SystemWnioskujacy.Parser {
    public static class Consts {
        public const string DefFacts = "deffacts";
        public const string Assert = "assert";
        public const string DefRule = "defrule";
        public const string Run = "run";
        public const string RunWithoutUncertainty = "runwithoutuncertainty";
        public const string Run2 = "run2";
        public const string Clear = "clear";
        public const string ClearScreen = "clearscreen";
        public const string Cls = "cls";
        public const string Print = "print";
        public const string Println = "println";
        public const string Deassert = "deassert";
        public const string Facts = "facts";
        public const string Rules = "rules";
        public const string InitEnv = "initenv";    // initenv(Pr1, Pr2, t)
        public const string EnvInfo = "envinfo";    // envinfo
        public const string Quit = "quit";

        public const string NamingRule_Default = "[a-zA-Z_][a-zA-Z_0-9]*";
        public const string NamingRule_SetOfFacts = NamingRule_Default;
        public const string NamingRule_Rule = NamingRule_Default;
    }
}
